package transformVolOne;

public class ClauseDriver {

	/**
	 * @param args
	 */
	public static void main(String[] args) {		
		
		int n = 17;
		int m = 17;
		long end;
		
		long start = System.currentTimeMillis();
		ClauseGenerator run = new ClauseGenerator(n, m);
		
		run.colorGrid();
		run.removeMonoRectangles();

		run.generateClauses(n, m);
		end = System.currentTimeMillis();
		System.out.println((end - start) + " milliseconds");
	}

}
